home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / web / spiderweb / patches / 005 < prev    next >
Text File  |  1989-07-02  |  2KB  |  75 lines
  1. *** master/spider.web~    Tue Apr 11 14:02:06 1989
  2. --- master/spider.web    Mon Jul  3 12:46:05 1989
  3. ***************
  4. *** 772,778 ****
  5.       } else if (length($2)>1) {
  6.           #<Handle multicharacter tokens#>
  7.       } else {
  8. !         temp = sprintf "'%s'", $2
  9.           tokenname[$2] = temp
  10.           tokenlength[$2]=1
  11.       }
  12. --- 772,778 ----
  13.       } else if (length($2)>1) {
  14.           #<Handle multicharacter tokens#>
  15.       } else {
  16. !         temp = sprintf("'%s'", $2)
  17.           tokenname[$2] = temp
  18.           tokenlength[$2]=1
  19.       }
  20. ***************
  21. *** 791,797 ****
  22.       tokennumbers[$2]=tokennumber
  23.       tokennumber--
  24.       ## figure out how to recognize the token
  25. !     temp = sprintf "strncmp(\"%s\",loc-1,%d)==0", $2, length($2)
  26.       tokentest[$2]=temp
  27.       tokenlength[$2]=length($2)
  28.   
  29. --- 791,797 ----
  30.       tokennumbers[$2]=tokennumber
  31.       tokennumber--
  32.       ## figure out how to recognize the token
  33. !     temp = sprintf( "strncmp(\"%s\",loc-1,%d)==0", $2, length($2))
  34.       tokentest[$2]=temp
  35.       tokenlength[$2]=length($2)
  36.   
  37. ***************
  38. *** 1738,1744 ****
  39.           $i = substr($i,2) ## peel off the \##
  40.           #<Make sure |1 <= $i < arrowpos|#>
  41.           targetcategory[prodnum]="Unnamed category"
  42. !         temp = sprintf "(pp+%d)->cat", $i-1
  43.           unnamed_cat[prodnum]=temp
  44.       } else if ($i ~ #=/[a-z][a-z_]*/#>) { ## a category
  45.           targetcategory[prodnum]=$i
  46. --- 1738,1744 ----
  47.           $i = substr($i,2) ## peel off the \##
  48.           #<Make sure |1 <= $i < arrowpos|#>
  49.           targetcategory[prodnum]="Unnamed category"
  50. !         temp = sprintf("(pp+%d)->cat", $i-1)
  51.           unnamed_cat[prodnum]=temp
  52.       } else if ($i ~ #=/[a-z][a-z_]*/#>) { ## a category
  53.           targetcategory[prodnum]=$i
  54. *** webkernel.tex.old    Mon Jun 26 12:32:33 1989
  55. --- webkernel.tex    Mon Jun 26 12:35:38 1989
  56. ***************
  57. *** 218,224 ****
  58.     \global\output{\normaloutput\page\lheader\rheader\lfooter\rfooter}}
  59.   \setpage
  60.   \vbox to \vsize{} % the first \topmark won't be null
  61. ! \eject
  62.   \write\cont{\string\catcode`\string\@=11}% a hack to make contents
  63.                        % take stuff in \.{---}
  64.   
  65. --- 218,226 ----
  66.     \global\output{\normaloutput\page\lheader\rheader\lfooter\rfooter}}
  67.   \setpage
  68.   \vbox to \vsize{} % the first \topmark won't be null
  69. ! % Delete as per bug report from kademan@stat.wisc.edu
  70. ! % Causes headings on first page to be missing
  71. ! % \eject
  72.   \write\cont{\string\catcode`\string\@=11}% a hack to make contents
  73.                        % take stuff in \.{---}
  74.   
  75.